VDict mobile



deductive reasoning not found. Suggestions:

F-Logic
meta
Cyc
REFINE
O-Logic
IQL
Aditi
abduction
neats vs. scruffies
deductive database